theorems on subspace